$\vdash$  $\forall$$P$, $Q$, $R$:$\mathbb{P}$. ($P$ $\Leftarrow\!\Rightarrow$ $Q$) $\Rightarrow$ ($Q$ $\Leftarrow\!\Rightarrow$ $R$) $\Rightarrow$ ($P$ $\Leftarrow\!\Rightarrow$ $R$)